data:
	mkdir --parents data

        # Download data
	wget https://prefix.cc/popular/all.file.vann --output-document data/prefix.cc.rdf

clean:
	rm -rf data/ *.nt *.hdt *.hdt.index.v*

.PHONY: clean
